Mean Curvature Flow of Spacelike Graphs

We prove the mean curvature flow of a spacelike graph in $(\Sigma_1\times \Sigma_2, g_1-g_2)$ of a map $f:\Sigma_1\to \Sigma_2$ from a closed Riemannian manifold $(\Sigma_1,g_1)$ with $Ricci_1> 0$ to a complete Riemannian manifold $(\Sigma_2,g_2)$ with bounded curvature tensor and derivatives, and with sectional curvatures satisfying $K_2\leq K_1$, remains a spacelike graph, exists for all time, and converges to a slice at infinity. We also show, with no need of the assumption $K_2\leq K_1$, that if $K_1>0$, or if $Ricci_1>0$ and $K_2\leq -c$, $c>0$ constant, any map $f:\Sigma_1\to \Sigma_2$ is trivially homotopic provided $f^*g_2<\rho g_1$ where $\rho=\min_{\Sigma_1}K_1/\sup_{\Sigma_2}K_2^+\geq 0$, in case $K_1>0$, and $\rho=+\infty$ in case $K_2\leq 0$. This largely extends some known results for $K_i$ constant and $\Sigma_2$ compact, obtained using the Riemannian structure of $\Sigma_1\times \Sigma_2$, and also shows how regularity theory on the mean curvature flow is simpler and more natural in pseudo-Riemannian setting then in the Riemannian one.Comment: version 5: Math.Z (online first 30 July 2010). version 4: 30 pages: we replace the condition $K_1\geq 0$ by the the weaker one $Ricci_1\geq 0$. The proofs are essentially the same. We change the title to a shorter one. We add an applicatio

Proteus: A Hierarchical Portfolio of Solvers and Transformations

In recent years, portfolio approaches to solving SAT problems and CSPs have become increasingly common. There are also a number of different encodings for representing CSPs as SAT instances. In this paper, we leverage advances in both SAT and CSP solving to present a novel hierarchical portfolio-based approach to CSP solving, which we call Proteus, that does not rely purely on CSP solvers. Instead, it may decide that it is best to encode a CSP problem instance into SAT, selecting an appropriate encoding and a corresponding SAT solver. Our experimental evaluation used an instance of Proteus that involved four CSP solvers, three SAT encodings, and six SAT solvers, evaluated on the most challenging problem instances from the CSP solver competitions, involving global and intensional constraints. We show that significant performance improvements can be achieved by Proteus obtained by exploiting alternative view-points and solvers for combinatorial problem-solving.Comment: 11th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems. The final publication is available at link.springer.co

Hirota's Solitons in the Affine and the Conformal Affine Toda Models

We use Hirota's method formulated as a recursive scheme to construct complete set of soliton solutions for the affine Toda field theory based on an arbitrary Lie algebra. Our solutions include a new class of solitons connected with two different type of degeneracies encountered in the Hirota's perturbation approach. We also derive an universal mass formula for all Hirota's solutions to the Affine Toda model valid for all underlying Lie groups. Embedding of the Affine Toda model in the Conformal Affine Toda model plays a crucial role in this analysis.Comment: 36 pages, LaTe

Connection between the Affine and Conformal Affine Toda Models and their Hirota's Solution

It is shown that the Affine Toda models (AT) constitute a ``gauge fixed'' version of the Conformal Affine Toda model (CAT). This result enables one to map every solution of the AT models into an infinite number of solutions of the corresponding CAT models, each one associated to a point of the orbit of the conformal group. The Hirota's $\tau$-function are introduced and soliton solutions for the AT and CAT models associated to $\hat {SL}(r+1)$ and $\hat {SP}(r)$ are constructed.Comment: 11 pages, LaTe

Exponentially hard problems are sometimes polynomial, a large deviation analysis of search algorithms for the random Satisfiability problem, and its application to stop-and-restart resolutions

A large deviation analysis of the solving complexity of random 3-Satisfiability instances slightly below threshold is presented. While finding a solution for such instances demands an exponential effort with high probability, we show that an exponentially small fraction of resolutions require a computation scaling linearly in the size of the instance only. This exponentially small probability of easy resolutions is analytically calculated, and the corresponding exponent shown to be smaller (in absolute value) than the growth exponent of the typical resolution time. Our study therefore gives some theoretical basis to heuristic stop-and-restart solving procedures, and suggests a natural cut-off (the size of the instance) for the restart.Comment: Revtex file, 4 figure

Dynamical Breakdown of Symmetry in a (2+1) Dimensional Model Containing the Chern-Simons Field

We study the vacuum stability of a model of massless scalar and fermionic fields minimally coupled to a Chern-Simons field. The classical Lagrangian only involves dimensionless parameters, and the model can be thought as a (2+1) dimensional analog of the Coleman-Weinberg model. By calculating the effective potential, we show that dynamical symmetry breakdown occurs in the two-loop approximation. The vacuum becomes asymmetric and mass generation, for the boson and fermion fields takes place. Renormalization group arguments are used to clarify some aspects of the solution.Comment: Minor modifications in the text and figure

New molecular markers for phlebotomine sand flies

Using degenerate-primers PCR we isolated and sequenced fragments from the sand fly Lutzomyia longipalpis homologous to two behavioural genes in Drosophila, cacophony and period. In addition we identified a number of other gene fragments that show homology to genes previously cloned in Drosophila. A codon usage table for L. longipalpis based on these and other genes was calculated. These new molecular markers will be useful in population genetics and evolutionary studies in phlebotomine sand flies and in establishing a preliminary genetic map in these important leishmaniasis vectors.info:eu-repo/semantics/submittedVersio

Introduction to Holographic Superconductors

These lectures give an introduction to the theory of holographic superconductors. These are superconductors that have a dual gravitational description using gauge/gravity duality. After introducing a suitable gravitational theory, we discuss its properties in various regimes: the probe limit, the effects of backreaction, the zero temperature limit, and the addition of magnetic fields. Using the gauge/gravity dictionary, these properties reproduce many of the standard features of superconductors. Some familiarity with gauge/gravity duality is assumed. A list of open problems is included at the end.Comment: 34 pages, 10 figures, to appear in the proceedings of the 5th Aegean Summer School, "From Gravity to Thermal Gauge Theories: the AdS/CFT Correspondence"; v2: references adde

A new heparan sulfate from the mollusk nodipecten nodosus inhibits merozoite invasion and disrupts rosetting and cytoadherence of plasmodium falciparum

Despite treatment with effective antimalarial drugs, the mortality rate is still high in severe cases of the disease, highlighting the need to find adjunct therapies that can inhibit the adhesion of Pf-iEs. In this context, we evaluated a new heparan sulfate (HS) from Nodipecten nodosus for antimalarial activity and inhibition of P. falciparum cytoadhesion and rosetting. Parasite inhibition was measured by SYBR green using a cytometer. HS was assessed in rosetting and cytoadhesion assays under static and flow conditions using CHO and HLEC cells expressing ICAM1 and CSA, respectively. This HS inhibited merozoite invasion similar to heparin. Moreover, mollusk HS decreased cytoadherence of P. falciparum to CSA (chondroitin sulfate A) and ICAM-1 (intercellular adhesion molecule-1) on the surface of endothelial cells under static and flow conditions. In addition, this glycan efficiently disrupted rosettes. These findings support a potential use for mollusk HS as adjunct therapy for severe malaria114CONSELHO NACIONAL DE DESENVOLVIMENTO CIENTÍFICO E TECNOLÓGICO - CNPQFUNDAÇÃO CARLOS CHAGAS FILHO DE AMPARO À PESQUISA DO ESTADO DO RIO DE JANEIRO - FAPERJFUNDAÇÃO DE AMPARO À PESQUISA DO ESTADO DE SÃO PAULO - FAPESPnão temnão tem2012/16525-2; 2017/18611-7; 2010/18571-6; 2015/20774-

BF models, Duality and Bosonization on higher genus surfaces

The generating functional of two dimensional $BF$ field theories coupled to fermionic fields and conserved currents is computed in the general case when the base manifold is a genus g compact Riemann surface. The lagrangian density $L=dB{\wedge}A$ is written in terms of a globally defined 1-form $A$ and a multi-valued scalar field $B$. Consistency conditions on the periods of $dB$ have to be imposed. It is shown that there exist a non-trivial dependence of the generating functional on the topological restrictions imposed to $B$. In particular if the periods of the $B$ field are constrained to take values $4\pi n$, with $n$ any integer, then the partition function is independent of the chosen spin structure and may be written as a sum over all the spin structures associated to the fermions even when one started with a fixed spin structure. These results are then applied to the functional bosonization of fermionic fields on higher genus surfaces. A bosonized form of the partition function which takes care of the chosen spin structure is obtainedComment: 17 page